- formal exploration
- формальное изучение
Англо-русский словарь по исследованиям и ноу-хау. Е.Г. Коваленк. 2015.
formal exploration
Смотреть что такое "formal exploration" в других словарях:
Formal verification — In the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods… … Wikipedia
International Council for the Exploration of the Sea — For the ICES civil engineering software package see COGO. The International Council for the Exploration of the Sea (ICES) (Conseil International de l Exploration de la Mer (CIEM) in French) is the world’s oldest intergovernmental science… … Wikipedia
History of the petroleum industry in Canada (frontier exploration and development) — discoveries took place near population centres or along lines of penetration into the frontier. The first oil play, for example, was in southern Ontario. The first western natural gas discovery occurred on a Canadian Pacific Railway right of way … Wikipedia
Oil exploration in Puntland — Somalia This article is part of the series: Politics and government of Somalia Transitional Federal Charter E … Wikipedia
Heroic Age of Antarctic Exploration — The Heroic Age of Antarctic Exploration (1895–1917) was a period of time at the beginning of the 20th century when explorers set out for the Antarctic. Some died on their expeditions, while others returned to become well known lecturers and… … Wikipedia
Brathay Exploration Group — is a not for profit charity which has been providing worldwide youth expeditions since 1947. Based in Ambleside, Cumbria, BEG aims to run around ten expeditions per year, to destinations all over the world. The group is aimed at young people… … Wikipedia
Petroleum industry in Western Australia — Western Australia s share of Australian gas reserves The petroleum industry in Western Australia is the largest contributor to Australia s production of most petroleum products.[1] Based largely on development of the reserves of the North West… … Wikipedia
Petroleum in Western Australia — The Western Australian petroleum industry is the largest contributor to Australia s production of most petroleum products. [citeweb|url=http://www.appea.com.au/index.php?option=com content task=blogsection id=7 Itemid=32|title=2007 Production… … Wikipedia
Mining in Afghanistan — It is estimated that forty million years ago the tectonic plates of India Europe, Asia and Africa collided in a massive upheaval. This upheaval created the region of towering mountains that now includes Afghanistan. That process also deposited… … Wikipedia
Beartooth Mountains — Geobox|Range name=Beartooth Mountains image caption= map caption= country=United States state=Montana parent=Rocky Mountains border=|border1= geology=|period=|orogeny=Laramide highest=Granite Peak highest elevation imperial=12799 highest lat… … Wikipedia
choreography — Originally referring to dance notation, by the beginning of the twentieth century the term came to mean the art of making dances as this is understood in the context of Western theatre dance forms. In the radical social, political and artistic … Encyclopedia of contemporary British culture
